idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2025-01-04 14:18:26 +03:00
Code Issues Projects Releases Wiki Activity
544208ec92
Idris2/support/refc
History
Kamil Shakirov 544208ec92 [refc] Update 'sysOS' to recognize more BSD flavors
2020-10-21 17:20:51 +06:00
..
casts.c Initial merge of reference counting C back end 2020-10-11 15:05:00 +01:00
casts.h Initial merge of reference counting C back end 2020-10-11 15:05:00 +01:00
cBackend.h Initial merge of reference counting C back end 2020-10-11 15:05:00 +01:00
conCaseHelper.c Initial merge of reference counting C back end 2020-10-11 15:05:00 +01:00
conCaseHelper.h Initial merge of reference counting C back end 2020-10-11 15:05:00 +01:00
datatypes.h Initial merge of reference counting C back end 2020-10-11 15:05:00 +01:00
Makefile Make it build on windows 2020-10-11 23:36:52 +02:00
mathFunctions.c Initial merge of reference counting C back end 2020-10-11 15:05:00 +01:00
mathFunctions.h Initial merge of reference counting C back end 2020-10-11 15:05:00 +01:00
memoryManagement.c Initial merge of reference counting C back end 2020-10-11 15:05:00 +01:00
memoryManagement.h Initial merge of reference counting C back end 2020-10-11 15:05:00 +01:00
prim.c [refc] Update 'sysOS' to recognize more BSD flavors 2020-10-21 17:20:51 +06:00
prim.h Make it build on windows 2020-10-11 23:36:52 +02:00
runtime.c Initial merge of reference counting C back end 2020-10-11 15:05:00 +01:00
runtime.h Initial merge of reference counting C back end 2020-10-11 15:05:00 +01:00
stringOps.c Initial merge of reference counting C back end 2020-10-11 15:05:00 +01:00
stringOps.h Initial merge of reference counting C back end 2020-10-11 15:05:00 +01:00