Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 50 million developers.
Sign up- Guangzhou, China
- Sign in to view email
Popular repositories
471 contributions in the last year
Activity overview
Contribution activity
May 2020
- andylokandy/Idris2 Scheme
- andylokandy/Idris2-Old Idris
- andylokandy/vscode-idris JavaScript
Created a pull request in idris-lang/Idris2 that received 5 comments
Add System.Path
Add a cross-platform path helper, which handles different formats depending on the platform. It can also be used to append paths, to update the ext…
+481
−1
•
5
comments
Created an issue in edwinb/Idris2-boot that received 1 comment
SegmentFault on String
Steps to Reproduce module Main import Data.String.Extra thisGoesWrong : String thisGoesWrong = (join "a" []) ++ "" main : IO () main = putStrLn $ t…
1
comment