lourenco/mgmt - mgmt - código do assilvestrar

lourenco/mgmt

Fork 0

Commit Graph

Author	SHA1	Message	Date
James Shubin	d30ff6cfae	legal: Remove year Instead of constantly making these updates, let's just remove the year since things are stored in git anyways, and this is not an actual modern legal risk anymore.	2025-01-26 16:24:51 -05:00
James Shubin	ad4eb86262	lang: unification: util: Add the core unification helpers This adds the core unification helper functions that do the core work of solving the invariants. This includes the actual Unify, OccursCheck, and Extract which is sometimes known as "zonk". A few other small functions are also included. Co-authored-by: Samuel Gélineau <gelisam@gmail.com>	2024-07-01 16:06:58 -04:00

Author

SHA1

Message

Date

James Shubin

d30ff6cfae

legal: Remove year

Instead of constantly making these updates, let's just remove the year
since things are stored in git anyways, and this is not an actual modern
legal risk anymore.

2025-01-26 16:24:51 -05:00

James Shubin

ad4eb86262

lang: unification: util: Add the core unification helpers

This adds the core unification helper functions that do the core work of
solving the invariants. This includes the actual Unify, OccursCheck, and
Extract which is sometimes known as "zonk".

A few other small functions are also included.

Co-authored-by: Samuel Gélineau <gelisam@gmail.com>

2024-07-01 16:06:58 -04:00

2 Commits