Nachi Valliappan nachivpn

Doing this research thing

jespercockx / Fixpoints.agda

Created December 26, 2018 09:28

Small example of how to define least/greatest fixpoints in Agda

	{-# OPTIONS --guardedness #-}

	open import Agda.Builtin.Unit
	open import Agda.Builtin.Size

	record _×_ (A B : Set) : Set where
	constructor _,_
	field
	fst : A
	snd : B

arttuladhar / Convert.java

Created June 28, 2013 20:37

Converts resultSet to HashMap of Strings and Objects

	/**
	* <h2> Converts ResultSet to HashMap of List<String,Object></h2>
	* @param row
	* @param rs_SubItemType
	* @throws SQLException
	*/

	private static void getHashMap( List<Map<String, Object>> row, ResultSet rs_SubItemType) throws SQLException {

	ResultSetMetaData metaData = rs_SubItemType.getMetaData();