idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-22 11:13:36 +03:00
Code Issues Projects Releases Wiki Activity
2,141 Commits 6 Branches 9 Tags 115 MiB
60d597fccd
Commit Graph

2 Commits

Author SHA1 Message Date
Stiopa Koltsov
60d597fccd Use pragma once instead of include guard 
Pragma once is supported by all compilers for the last ten years.
Better use it instead of include guards (which use different styles
in different files).
 2021-06-28 12:05:22 +01:00
Edwin Brady
4f10bfcfd2 Copy samples directory from Idris2-boot 
This is referred to in the documentation, so should be there
 2020-06-30 10:51:09 +01:00