diff options
author | Son Ho | 2023-07-04 12:49:37 +0200 |
---|---|---|
committer | Son Ho | 2023-07-04 12:49:37 +0200 |
commit | 4fd17e4bb91eb46d4704643dfbfbbf0874837b07 (patch) | |
tree | 5ebcc4cda3a522e7bad4e475423b87fd83279420 /compiler/Pure.ml | |
parent | 40e21034fa9e955734351b78a8cc5f16315418bd (diff) |
Make Diverge use Primitives
Diffstat (limited to 'compiler/Pure.ml')
0 files changed, 0 insertions, 0 deletions