FormCoreJS icon indicating copy to clipboard operation
FormCoreJS copied to clipboard

verified publisher icon HigherOrderCO
→

Metadata

A minimal pure functional language based on self dependent types.

Results 3 FormCoreJS issues
Sort by recently updated
recently updated
newest added

Create FmcToCoq.js

Hi all 👋 , I started to work on a Core to Coq compiler. This is purely experimental but I thought it could be nice to be able to translate...

acorrenson avatar acorrenson

Fix bitwise string to boolean comparison

- fixed using bitwise or instead of a boolean or

brecert avatar brecert

Add get_random action and remove duplicated get_time

caotic123 avatar caotic123

← Metadata

69
Stars
7
Forks
Watchers

Owner

verified publisher icon HigherOrderCO

Metadata

A minimal pure functional language based on self dependent types.

Back