Skip to content

Instantly share code, notes, and snippets.

Priyatam Mudi priyatam

Block or report user

Report or block priyatam

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
@priyatam
priyatam / inference.rkt
Created May 24, 2017 — forked from jrslepak/inference.rkt
Type inference in Typed Racket
View inference.rkt
#lang typed/racket
;;; Typed Racket version of Martin Grabmü̈ller's "Algorithm W Step by Step"
;;; http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.65.7733
;;; This is my first use of Typed Racket. I am looking to change this from
;;; following Haskell idiom to following Racket idiom.
;; An expression is a variable, a literal, an application,
@priyatam
priyatam / machine.clj
Created Nov 20, 2015 — forked from zahardzhan/machine.clj
Turing machine in Clojure
View machine.clj
;;; -*- mode: clojure; coding: utf-8 -*-
;;; author: Roman Zaharov <zahardzhan@gmail.com>
(ns clojure.turing-machine.machine)
(in-ns 'clojure.turing-machine.machine)
(defn convert-rules [rules]
(apply conj [] (for [rule rules :let [[state read jump write move] rule]]
{:state state :read read :jump jump :write write :move move})))
View gist:9649695
;; Schema
;; poem
[{:db/id #db/id[:db.part/db]
:db/ident :poem/short-url
:db/unique :db.unique/identity
:db/valueType :db.type/string
:db/cardinality :db.cardinality/one
:db.install/_attribute :db.part/db}
{:db/id #db/id[:db.part/db]
You can’t perform that action at this time.