idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-17 08:11:45 +03:00
Code Issues Projects Releases Wiki Activity
ca28dab1d7
Idris2/docs/source/ffi
History
Edwin Brady ca28dab1d7 Add finalisers for Racket back end 
Like Chez, we also need an explicit call to the garbage collector at the
end to ensure that all the finalisers get run on exit.
2020-06-08 22:13:24 +01:00
..
ffi.rst Add finalisers for Racket back end 2020-06-08 22:13:24 +01:00
index.rst Copy more files over from Idris2 2020-05-20 11:23:04 +01:00
readline.rst Copy more files over from Idris2 2020-05-20 11:23:04 +01:00