Skip to content
View bryanwoods's full-sized avatar
💭
Replacing Security Deposits
💭
Replacing Security Deposits
70 followers · 10 following

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Public SponsorAchievement: Pull Sharkx4Achievement: Starstruckx2

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Public SponsorAchievement: Pull Sharkx4Achievement: Starstruckx2

Organizations

@sayrhino
Block or Report

Block or report bryanwoods

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

Type: All
Language: Idris
Sort by: Most stars
2 stars written in Idris
Clear filter

edwinb / Idris2-boot

A dependently typed programming language, a successor to Idris

Idris 903 58 Updated Aug 11, 2020

idris-hackers / idris-koans

Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Idris. Your insight will be derived by encountering failing co…

Idris 179 26 Updated May 2, 2018