LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Other

idris2-python

A Python backed for Idris 2

OtherEmerging

Stars

—

Forks

—

Contributors

1

Last push

7mo ago

Recent commits

Latest commits.

Match RefC header changes
eacb3e9Robert Wright9mo ago
Correct idris2_removeReference return type
26d3de4Robert Wright20mo ago
Match RefC arglist inlining
816bd3eRobert Wright20mo ago
Match RefC memory management function renaming
fd9bf58Robert Wright20mo ago
Match RefC small type unboxing
4573cedRobert Wright20mo ago

Match RefC memory management approach change

ae2343aRobert Wright20mo ago

Match RefC World erasure

dcabd09Robert Wright20mo ago

Match RefC datatypes file refactor

91b8057Robert Wright20mo ago

Top contributors

Builders behind this project.