rnagasam

import inspect
import z3

def parse_type(t):
    parts = t.split('|')
    name, base = parts[0].split(':')
    return (name.strip(), base.strip(), parts[1].strip())

def constraints(func):
    sig = inspect.signature(func)

rnagasam

import ast
import inspect
import z3

from collections import namedtuple
from dataclasses import dataclass
from typing import Union, Callable, Tuple

# ------------------------------------------------------------------------
# Types -- primitives and refinement types

rnagasam

(setq user-mail-address "user@domain.com"
      user-full-name "JohnDoe")

(setq gnus-select-method
      '(nnimap "outlook"
	       (nnimap-address "outlook.office365.com")
	       (nnimap-server-port "imaps")
	       (nnimap-stream ssl)))

(setq gnus-secondary-select-methods

rnagasam

;; (require 'org)

;; (org-babel-load-file
;;  (expand-file-name "cfg.org"
;; 		   user-emacs-directory))

;; --------------------------------------------------------------------

(setq user-full-name "Ramana Nagasamudram"
      user-mail-address "rnagasam@stevens.edu")

rnagasam

; SICP 3.5 Streams

; constraints :-
; (stream-car (cons-stream x y)) = x
; (stream-cdr (cons-stream x y)) = y

(define the-empty-stream '())

(define stream-null? null?)

rnagasam

## Finding the angle between two faces of a part.

s1 = doc.Geometry.Shape.Faces[0]
s2 = doc.Geometry.Shape.Faces[1]

vns1 = s1.normalAt(0,0)
vns2 = s2.normalAt(0,0)

alpha = math.degrees(vns1.getAngle(vns2))

rnagasam

<?xml version="1.0" encoding="UTF-8" standalone="no" ?>
<FCParameters>

  <FCParamGroup Name="Root">
    <FCParamGroup Name="BaseApp">
      <FCParamGroup Name="LogLevels">
        <FCInt Name="Default" Value="2"/>
      </FCParamGroup>
      <FCParamGroup Name="Preferences">
        <FCParamGroup Name="General">

rnagasam

# i3status configuration file.
# see "man i3status" for documentation.

# It is important that this file is edited as UTF-8.
# The following line should contain a sharp s:
# ß
# If the above line is not correctly displayed, fix your editor first!

general {
        colors = true

rnagasam

;;;; Emacs configuration file

;;;; Compile configuration file
(defun autocompile nil
  "compile itself if ~/.emacs"
  (interactive)
  (require 'bytecomp)
  (let ((dotemacs (file-truename user-init-file)))
    (if (string= (buffer-file-name) (file-chase-links dotemacs))
	(byte-compile-file dotemacs))))

rnagasam

set nocompatible
inoremap jk <esc>
set scrolloff=999
set wildmenu
set path+=**
set number
set expandtab
set autoindent
filetype plugin indent on
syntax enable